Mathematical object

Results: 251



#Item
61Philosophical logic / Metalogic / Deduction / Predicate logic / Modal logic / Entailment / Interpretation / Function / Proof theory / Logic / Mathematical logic / Model theory

A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 07:22:33
62Formal languages / Metalogic / Non-classical logic / Logical syntax / Sequent calculus / Sequent / Linear logic / Entailment / Intuitionistic logic / Logic / Mathematical logic / Proof theory

Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:33:56
63Theoretical computer science / B.G. / Object-oriented programming / Coin problem / Mathematics / Algorithm / Mathematical logic

Benefits of Peer-led Team Learning in CS Dr. Barbara G. Ryder J. Byran Maupin Professor of Engineering Head - Dept. of Computer Science Virginia Tech

Add to Reading List

Source URL: people.cs.vt.edu

Language: English - Date: 2013-03-24 21:10:58
64Paleozoology / Measurement / Television / Diplodocus / Graduated cylinder / Volume / Displacement / Dinosaur / Physics / Diplodocoids / Jurassic dinosaurs / Paleontology

WEIGHING A DINOSAUR Purpose To find the weight of a dinosaur. This activity also shows how the volume of an irregularly shaped object can be found and it is a good mathematical exercise in using scales.

Add to Reading List

Source URL: www.earth-science-activities.co.uk

Language: English - Date: 2013-08-18 13:21:56
65Mathematical analysis / Benoit Mandelbrot / Fractal art / Fractal / Chaos theory / The Fractal Geometry of Nature / Symmetry / Mathematics and art / Mandelbrot set / Fractals / Mathematics / Dimension

In the Mind of the Fractal King A reconstructed interview on life and fractals By Michael Segal Fully Referenced Version Our namesake, the nautilus, is not just a cultural and mythical object; it has also some rich (and

Add to Reading List

Source URL: static.nautil.us

Language: English - Date: 2013-04-28 18:04:34
66Imaging / Color mapping / Segmentation / Object recognition / Histogram matching / RGB color model / Watershed / Image gradient / Grayscale / Image processing / Vision / Optics

COLOR CORRECTION THROUGH REGION MATCHING LEVERAGED BY POINT CORRESPONDENCES Dieu-Sang Ly, Serge Beucher and Michel Bilodeau MINES ParisTech, PSL - Research University, CMM - Centre for mathematical morphology 35 rue St H

Add to Reading List

Source URL: cmm.ensmp.fr

Language: English - Date: 2014-11-21 03:53:17
67Mathematical analysis / Fourier analysis / Visualization / Symbol / Spatial analysis / Convolution / Map / Geographic information system / Wavelength / Statistics / Cartography / Geography

Locus-Object Semantic in Digital Cartography. Sébastien GADAL 1 & Georges NICOLAS 2. Centre d’Analyse et de Mathématique Sociales (UMR 8557 of CNRS). Ecole des Hautes Etudes en Sciences Sociales. 54, Bd Raspail. F-75

Add to Reading List

Source URL: itcnt05.itc.nl

Language: English - Date: 2005-02-02 17:00:00
68Mathematical analysis / Vision / Scale space / Difference of Gaussians / Scale-invariant feature transform / Laplace operator / Scale invariance / Corner detection / Invariant / Computer vision / Image processing / Imaging

Key properties of local features • Locality, robust against occlusions • Must be highly distinctive, a good feature should allow for correct object identification with low probability of mismatch • Easy to extract

Add to Reading List

Source URL: www.lira.dist.unige.it

Language: English - Date: 2011-11-16 11:15:03
69Object-oriented programming / Java / Ring / Class / Multiple inheritance / Abstract type / Clone / Objective-C / Polynomial / Software engineering / Computing / Computer programming

Approaching Inheritance from a “Natural” Mathematical Perspective and from a Java Driven Viewpoint: a Comparative Review Marc Conrad1 , Tim French1 , Carsten Maple1 , and Sandra Pott2 1

Add to Reading List

Source URL: ring.perisic.com.

Language: English - Date: 2003-12-13 23:05:01
70Embedding / Mathematical analysis / Topology / Mathematics / Routing

EMBEDDING, DISTANCE ESTIMATION AND OBJECT LOCATION IN NETWORKS A Dissertation Presented to the Faculty of the Graduate School of Cornell University

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-03-02 02:42:29
UPDATE